small fix for travis