These braces seem backwards. Is that really the syntax for a sub-heading or something, or should it be an open brace like for the @defgroup stuff?