Misc doc tweaks