Fix type in travis.sh