various doc tweaks