minor bug fix in testcase