use typographer's quotes in comments (syntax-highlight issue)