Fix syntax error in travis-ci.sh