From 5d6e5c2305f614f8df0964846df3a103544d4f3b Mon Sep 17 00:00:00 2001
From: Adam Waldenberg <adam.waldenberg@ejwa.se>
Date: Mon, 25 Mar 2013 03:21:40 +0100
Subject: [PATCH] Fixed a pair of small mistakes in the extensions module.

A message tag/pair was missing in the XML output. It's not strictly needed
(as it's easy enough to deduce the meaning of the output) but doesn't hurt.
---
 extensions.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/extensions.py b/extensions.py
index 2fe6746..a007254 100644
--- a/extensions.py
+++ b/extensions.py
@@ -43,7 +43,7 @@ class Extensions(Outputable):
 	def output_html(self):
 		if __located_extensions__:
 			extensions_xml = "<div><div class=\"box\">"
-			extensions_xml += "<p>" + __extensions_info_text__ + "(extensions used during statistical analysis are marked)."+ "</p><p>"
+			extensions_xml += "<p>" + __extensions_info_text__ + "&nbsp;(extensions used during statistical analysis are marked).</p><p>"
 
 			for i in __located_extensions__:
 				if i in __extensions__:
@@ -79,5 +79,5 @@ class Extensions(Outputable):
 				else:
 					unused_extensions_xml += "\t\t\t<extension>" + i + "</extension>\n"
 
-			print("\t<extensions>\n" + "\t\t<used>\n" + used_extensions_xml + "\t\t</used>\n" +
+			print("\t<extensions>\n" + message_xml + "\t\t<used>\n" + used_extensions_xml + "\t\t</used>\n" +
 			      "\t\t<unused>\n" + unused_extensions_xml + "\t\t</unused>\n" + "\t</extensions>")