Fixed a bothersome build-badge bug