diff --git a/regression/cbmc-java/NullPointer2/test.desc b/regression/cbmc-java/NullPointer2/test.desc
index f89103d5f5..3be1eaa44f 100644
--- a/regression/cbmc-java/NullPointer2/test.desc
+++ b/regression/cbmc-java/NullPointer2/test.desc
@@ -3,7 +3,7 @@ NullPointer2.class
 --pointer-check --stop-on-fail
 ^EXIT=10$
 ^SIGNAL=0$
-^  file NullPointer2.java line 9 function java::NullPointer2.main:(\[Ljava/lang/String;)V$
+^  file NullPointer2.java line 9 function java::NullPointer2.main:(\[Ljava/lang/String;)V
 ^VERIFICATION FAILED$
 --
 ^warning: ignoring