--- a/src/eric7/MicroPython/Devices/RP2Devices.py	Mon Feb 24 15:11:18 2025 +0100
+++ b/src/eric7/MicroPython/Devices/RP2Devices.py	Mon Feb 24 15:43:49 2025 +0100
@@ -406,7 +406,7 @@
 
         # The machine.rtc.datetime() function takes the arguments in the order:
         # (year, month, day, weekday, hour, minute, second, subseconds)
-        # __IGNORE_WARNING_M891__
+        # __IGNORE_WARNING_M-891__
         # https://docs.micropython.org/en/latest/library/machine.RTC.html#machine-rtc
         return """
 def set_time(rtc_time):