Update contract.latex