Fix rendering of the Travis CI badge