More docs tweaks.