fix for travis...