Fixed a syntax error in a test case