Editing proofs made nicer