more docs tweaking