Minor fix related to non-ascii quotation marks in input text