Small fix to manual.