Fix a few -Wdocumentation warnings