Temporary fix for broken int test