fix type in travis.yml