Yet more docs tweaking