further doc tweaks