- put verify_type() again after the "type changed" test