Fix travis badge
Merge branch 'fix-travis-badge'