kill deleteNonExistingDocument() seems not very useful and erronious