fixing proof