Fixup comments so they play nicer with dox