Minor mdoc nit.