further doc-tweaks and updates