Fix for errors with pygments source-highlighter

fixes #933