Add in DocManager.deleteDoc method