Small updates to manual