Minor docs tweaks