Typos, and missing a `not`

Minor stuff.