fix a couple minor typos.

Hi Mike, I fixed a couple of minor typos in the header.