Fix a -Wdocumentation warning (empty paragraph passed to '\brief' command)