Amend documentation after turning -Wdocumentation on