Fix typo in comment. Found by -Wdocumentation.