fix missing quotation mark

Part of issue #3424.