Fix a -Wdocumentation warning