more minor doc tweaks