fix test_int