Fix some typos

End of file character change is change is not intentional. Since I am using Github web interface, I assume this encoding is OK.