--- a/UI/SymbolsWidget.py	Mon Mar 25 10:08:52 2013 +0100
+++ b/UI/SymbolsWidget.py	Mon Mar 25 10:24:44 2013 +0100
@@ -10,7 +10,7 @@
 from __future__ import unicode_literals    # __IGNORE_WARNING__
 
 import unicodedata
-try: # Py3
+try:  # Py3
     import html.entities as html_entities
 except (ImportError):
     chr = unichr