some improvements to manual