minor fix in test case numbering