reverted accidental content change in LeaseContract.tex