pygments: Fix up highlighting of single line comments