Minor editing and corrections to manual