being defensive about SyntaxHighlighter