Fix some duplication in a doxygen comment.