Fixed small typos in specs