Minor odifications to the test cases