fix up html ricardian contract