Fix broken Travis-CI config