Hmm, I didn't intend this, must be the github online editor doing that.