it's already checked before the update loop (see check_fields()),
and this condition cannot suddenly become false in the middle
of the statement