semantic: Remove stray doccomments.