message: minor fix
  related
diff: withdraw from the contract with the beginning of the execution of the
  contract.
  </p>
  - <div>-- end instruction on withdrawal --</div>
  </div>
  <h3>Alternative Settlements of Disputes</h3>
  