diff --git a/lib/layouts/theorems-case.inc b/lib/layouts/theorems-case.inc
index 3cf64e4d70..ac60130468 100644
--- a/lib/layouts/theorems-case.inc
+++ b/lib/layouts/theorems-case.inc
@@ -15,21 +15,21 @@ Counter casei
 End
 Counter caseii
 	GuiName "Case (Level 2)"
-        Within casei
-        LabelString "Case \roman{caseii}."
-        PrettyFormat "Case \roman{caseii}"
+	Within casei
+	LabelString "Case \roman{caseii}."
+	PrettyFormat "Case \roman{caseii}"
 End
 Counter caseiii
 	GuiName "Case (Level 3)"
-        Within caseii
-        LabelString "Case \alph{caseiii}."
-        PrettyFormat "Case \alph{caseiii}"
+	Within caseii
+	LabelString "Case \alph{caseiii}."
+	PrettyFormat "Case \alph{caseiii}"
 End
 Counter caseiv
 	GuiName "Case (Level 4)"
-        Within caseiii
-        PrettyFormat "Case \arabic{caseiv}"
-        LabelString "Case \arabic{caseiv}."
+	Within caseiii
+	PrettyFormat "Case \arabic{caseiv}"
+	LabelString "Case \arabic{caseiv}."
 End
 
 Style Case