More docs tweaks