Travis CI setup bugfix