--- a/UI/SymbolsWidget.py	Tue Mar 07 18:46:09 2017 +0100
+++ b/UI/SymbolsWidget.py	Tue Mar 07 18:53:18 2017 +0100
@@ -11,9 +11,9 @@
 
 try:
     # Py2
-    str = unicode                               # __IGNORE_WARNING__
-    chr = unichr                                # __IGNORE_WARNING__
-    import htmlentitydefs as html_entities      # __IGNORE_WARNING__
+    str = unicode                           # __IGNORE_WARNING_M131__
+    chr = unichr                            # __IGNORE_WARNING_M131__
+    import htmlentitydefs as html_entities
 except (NameError, ImportError):
     # Py3
     import html.entities as html_entities