fix a -Wdocumentation warning.