Misc. mdoc fixes.