Bugfix in travis CI config