Bugfix in travis config