small fix with travis