Fix testcase #2 (hopefully)