Further small changes on travis config