Bugfix for travis file