Fixing braindead syntax error in test cases