Fix -Wdocumentation warning: use a correct Doxygen comment marker