minor docs tweaks