Minor changes to manual