fix a couple silly typos