Cosmetics: remove a redundant and misplaced doxy.