travis: small fix