Fix a failing testcase