some minor tweaks to manual