diff --git a/lib/ChangeLog b/lib/ChangeLog
index 26fed0aae7..50452bd4e5 100644
--- a/lib/ChangeLog
+++ b/lib/ChangeLog
@@ -1,3 +1,7 @@
+2001-09-13  Jean-Marc Lasgouttes  <Jean-Marc.Lasgouttes@inria.fr>
+
+	* layouts/heb-article.layout: fix labelfont of Proof layout
+
 2001-09-12  Jean-Marc Lasgouttes  <Jean-Marc.Lasgouttes@inria.fr>
 
 	* examples/script_form.lyx: added
diff --git a/lib/layouts/heb-article.layout b/lib/layouts/heb-article.layout
index 0b10bf3914..6c59ebaca4 100644
--- a/lib/layouts/heb-article.layout
+++ b/lib/layouts/heb-article.layout
@@ -118,7 +118,7 @@ Style Proof
   EndFont
   # label font definition
   LabelFont
-    Shape               Normal
+    Shape               Up
     Series              Bold
   EndFont
   Preamble