Fixed the TravisCI badge