fixing TravisCI badge