Minor typo fixes for the spec.