Fix syntax error in a comment