param tags are supposed to specify the parameter name without any quoting. Silences several -Wdocumentation warnings.