Kraken: fix total arrival in get_pareto_front