Fix a minor syntax error.