One more fix for travis