I think it's good to backpatch the check as it doesn't change acceptablebehavior, just replace infinite loop with the acceptable thing.