fix the proof environment