fix a couple minor typos