again a correction with travis ci