Fix Wdocumentation warning. NFCI.
1 file changed