--- a/DebugClients/Python/DebugBase.py	Thu Mar 16 19:30:15 2017 +0100
+++ b/DebugClients/Python/DebugBase.py	Thu Mar 16 19:32:33 2017 +0100
@@ -357,7 +357,7 @@
         if event == 'c_return':
             return
         
-        print('DebugBase.trace_dispatch:'       # __IGNORE_WARNING__
+        print('DebugBase.trace_dispatch:'       # __IGNORE_WARNING_M801__
               ' unknown debugging event: ',
               repr(event))
         return self.trace_dispatch