Close #163.

Fix a problem with a second track of someone who deleted proofs
think about next release