docs tweaks after proof-read