minor doc tweaks.