From 0563d3abaa3d70367808bdf91b22a6b438a315e7 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Thu, 8 Oct 2009 16:48:40 +0000
Subject: [PATCH] oops

---
 module-tools.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/module-tools.py b/module-tools.py
index 4a01c97e..6eebad51 100755
--- a/module-tools.py
+++ b/module-tools.py
@@ -306,7 +306,7 @@ span.error {text-weight:bold; color: red; }
                 print '<hr /><h1>',self.html_anchor(self.friendly_name(),title),'</h1>'
         if hasattr(self,'body'):
             print self.body
-        print '<p class="top">',self.html_href('#','Back to top'),'</p>'
+            print '<p class="top">',self.html_href('#','Back to top'),'</p>'
 
     ####################
     @staticmethod
-- 
2.43.0