Fixing some typos in the definitions

I quickly went through the definitions and comments and fixed some typos.