Fix auto-mangled comments (trivial)