Fix various typos

Fix various typos I found while reading through the spec and tck docs.
nice catch