some docs tweaks