Fix a testcase