diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index dafbeab455..23cfcd68c4 100644
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -30,7 +30,6 @@ Style Proof
     }{%
       \endtrivlist\@endpefalse
     }
-\providecommand{\proofname}{Proof}
-
+    \providecommand{\proofname}{Proof}
   EndPreamble
 End
\ No newline at end of file