Minor mdoc fixes.