diff --git a/book/testBBT.kind2 b/book/testBBT.kind2
index 93b8b3c7..01be53b4 100644
--- a/book/testBBT.kind2
+++ b/book/testBBT.kind2
@@ -221,7 +221,7 @@ RunTests
   let solution = (Tests.run tests)
   solution
 
-testbbt
+testBBT
 // : (Maybe String)
 // : String
 // : (List.Map #U60 String)