fix some egregious typos in the laws