Correct infinity testcase