fix a bug in the testcase