Fix typos in definitions