Typos / corrections to readme and specification