Fix DocManager specification