Syntax highlighting in headers is a bit ugly