Fixed some typos in specs