Minor updates to manual