Fix a goof in assert_integer