Fixed a minor proof that was not building