typo fixes

The github editor seems to have hit a char it does not like in two files...