Just some changes from the GitHub editor

I'll make some more PRs when I get access to my IDE