fix issues with pyHint and <pre>