diff --git a/tests/core/ltlcross4.test b/tests/core/ltlcross4.test
index b7c85979a..7d124d689 100755
--- a/tests/core/ltlcross4.test
+++ b/tests/core/ltlcross4.test
@@ -1,7 +1,7 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2012-2014, 2017, 2020 Laboratoire de Recherche et
-# Développement de l'Epita (LRDE).
+# Copyright (C) 2012-2014, 2017, 2020, 2023 Laboratoire de Recherche
+# et Développement de l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
 #
@@ -54,8 +54,7 @@ x = pandas.read_csv("output.csv")
 # We used to call describe() instead of agg(),
 # but the output of this function was changed
 # in pandas 0.20.
-print(x.filter(('formula', 'tool',
-                'states', 'transitions')).\
+print(x.filter(('tool', 'states', 'transitions')).\
         groupby('tool').\
         agg([np.mean, np.std, np.min, np.max]))
 EOF