Minor tweaks in documentation