Some docs tweaks.