diff --git a/tests/core/autcross4.test b/tests/core/autcross4.test
index 9e0d68638..13f770d1c 100755
--- a/tests/core/autcross4.test
+++ b/tests/core/autcross4.test
@@ -1,6 +1,6 @@
 #!/bin/sh
 # -*- coding: utf-8 -*-
-# Copyright (C) 2018, 2019 Laboratoire de Recherche et Développement de
+# Copyright (C) 2018, 2019, 2022 Laboratoire de Recherche et Développement de
 # l'Epita (LRDE).
 #
 # This file is part of Spot, a model checking library.
@@ -85,7 +85,9 @@ autcross -T3 -q --language-preserved --ignore-execution-failures \
          --fail-on-timeout \
          'sleep 10; autfilt %H>%O' 'false %H %O' 2>err -Fin && exit 1
 cat err
-test 4 = `wc -l <err`
+# OpenBSD prints "Terminated" when the shell running the command is
+# killed.  See issue #501.
+test 4 = `grep -v Terminated err | wc -l`
 test 1 = `wc -l < out.csv`
 
 autcross - 2> err && exit 1