Fix broken Travis CI config