Minor doc tweaks