minor doc tweaks
doc tweaks