TravisCI badge fix