Another fix for broken int test.