Test case for infinite correction