typos

there should be an emoticon for pedantic.