A mutual mistake can provide a basis for amending a contract.