check_integer() cleanup