implement one of the reviewer's suggestions to improve the readability of the proof
fix a dangling pointer