small fix for travis?