Fix a minor syntax error