Fix for travis file