Sorry, I didn't mean to do this. I used GitHub's online editor; it must have done this automatically.