Fix syntax in travis.yml