Avoid a quote mark that renders incorrectly in PDF mode.

Closes #935.