Travis CI setup bugfix, ter