Fix some typos

yo bated. In addition to the typos this also adds a newline character after the last line of the file, which is good style / common practice / automatically done by a lot of editors. You shouldn't notice any difference though; this is different than having an entire blank line as the last line, which is probably bad style, not common, and not automatically done.

If you have any disagreements I can remove that commit.