Fix typos is specs

Fixed typos that I found in the specs