Bugfix the Travis CI tests