Fix bad testcase