Fix syntax error. #4594