Fix mdoc warning