Fix a bug in travis.yml