Fixed bad Travis CI config