Small changes to manual