Correct typos in cons