Minor tweaks in the documentation