Fix a typo in DeletedDocumentManager.