Fixing travis-ci badge