Further docs tweaks