minor doc tweaks