Fixed some typos in spec.txt