Fixed some typos in the contracts abstract