fix that Travis