diff --git a/tests/bench/simp-bubblesort-265.lean b/tests/bench/simp_bubblesort_256.lean
similarity index 93%
rename from tests/bench/simp-bubblesort-265.lean
rename to tests/bench/simp_bubblesort_256.lean
index ac412f2c30..148f6b6226 100644
--- a/tests/bench/simp-bubblesort-265.lean
+++ b/tests/bench/simp_bubblesort_256.lean
@@ -24,7 +24,7 @@ axiom swap : f b (f a xs) = f a (f b xs)
 axiom iter_zero : iter z g x = g x
 axiom iter_succ : iter (s i) g x = iter i g (iter i g x)
 
-noncomputable def steps : n := s (s (s (s (s (s (s z))))))
+noncomputable def steps : N := s (s (s (s (s (s (s z))))))
 
 set_option maxRecDepth 100000
 
diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml
index fdddb60317..5814e11cd6 100644
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@@ -402,11 +402,11 @@
     <<: *time
     cmd: lean simp_arith1.lean
 - attributes:
-    description: simp-bubblesort-265
+    description: simp_bubblesort_256
     tags: [fast, suite]
   run_config:
     <<: *time
-    cmd: lean simp-bubblesort-265.lean
+    cmd: lean simp_bubblesort_256.lean
 - attributes:
     description: nat_repr
     tags: [fast, suite]