corrections of test cases