Corrige le bug bloquant Travis CI.