Fix type in travis-ci ppa