Fix small typos in specs