Fix the travis-ci badge