Another fix for travis