Minor tweaks to manual