shields.io Travis CI badges are apparently case-sensitive.