fixed bug in a test case