Fix the formatting for travis-ci badge