Update contract.rst