Fix a syntax error in a PR: one too many quotes.