tweak check_reserved_name