Minor fix for problem with unterminated strings