--- a/src/eric7/HelpViewer/HelpViewerImplQWE.py	Mon Feb 24 15:11:18 2025 +0100
+++ b/src/eric7/HelpViewer/HelpViewerImplQWE.py	Mon Feb 24 15:43:49 2025 +0100
@@ -113,7 +113,7 @@
             self.__rwhvqt.grabGesture(Qt.GestureType.PinchGesture)
             self.__rwhvqt.installEventFilter(self)
         else:
-            print("Focus proxy is null!")  # __IGNORE_WARNING_M801__
+            print("Focus proxy is null!")  # __IGNORE_WARNING_M-801__
 
     def setLink(self, url):
         """