minor tweaks in documentation