fixed a mistake for DocVersionManager