travis-ci badge fix