Weird...

Ok, I have no idea why GitHub insisted on making a separate branch for a minor change to one of my own files.