That's my fault, because I edited those files at GitHub.com, not locally. I will fix them. :)