Fix doxygen comment.