diff --git a/lib/layouts/theorems-case.inc b/lib/layouts/theorems-case.inc
index 692653b0d1..3cf64e4d70 100644
--- a/lib/layouts/theorems-case.inc
+++ b/lib/layouts/theorems-case.inc
@@ -28,7 +28,7 @@ End
 Counter caseiv
 	GuiName "Case (Level 4)"
         Within caseiii
-        PrettyForamt "Case \arabic{caseiv}"
+        PrettyFormat "Case \arabic{caseiv}"
         LabelString "Case \arabic{caseiv}."
 End