doc: minor change to manual title