small tweaks in documentation