typo in test case generation