Fix some deeply mangled comments.