Minor tweaks in docs