another fix for travis