The @addtogroup commands are old and broken. They need to get removed before they confuse someone.
@addtogroup