Minor tweaks in doc