Cosmetic: Docs tweaks