Typos in spec