improve highlighting of doccomments