Fix another broken int test