some doc tweaks