diff --git a/.github/workflows/osx.yml b/.github/workflows/macos.yml
similarity index 98%
rename from .github/workflows/osx.yml
rename to .github/workflows/macos.yml
index 391c406cc..d55c82980 100644
--- a/.github/workflows/osx.yml
+++ b/.github/workflows/macos.yml
@@ -1,4 +1,4 @@
-name: Mathics3 (OSX)
+name: Mathics3 (macOS)
 
 on:
   push:
diff --git a/CHANGES.rst b/CHANGES.rst
index e7b23fa00..fa89a3404 100644
--- a/CHANGES.rst
+++ b/CHANGES.rst
@@ -25,6 +25,18 @@ Performance
 
 * ``Blank*`` patterns without arguments are now singletons.
 
+API incompatibility
+-------------
+
+* ``Matcher`` now requires an additional ``evaluation`` parameter
+
+
+Package updates
++++++++++++++++
+
+#. Python 3.12 is now supported
+#. SymPy 1.13 is now supported
+
 
 7.0.0
 -----
diff --git a/mathics/builtin/box/compilation.py b/mathics/builtin/box/compilation.py
index 8fc6a82de..065c47fb5 100644
--- a/mathics/builtin/box/compilation.py
+++ b/mathics/builtin/box/compilation.py
@@ -2,11 +2,12 @@
 """
 Boxing Symbols for compiled code
 """
-# Docs are not yet ready for prime time. Maybe after release 6.0.0.
-no_doc = True
 
 from mathics.builtin.box.expression import BoxExpression
 
+# Docs are not yet ready for prime time. Maybe after release 6.0.0.
+no_doc = True
+
 
 class CompiledCodeBox(BoxExpression):
     """
diff --git a/mathics/core/pattern.py b/mathics/core/pattern.py
index c96166b28..c8d2cf2da 100644
--- a/mathics/core/pattern.py
+++ b/mathics/core/pattern.py
@@ -92,9 +92,7 @@ class BasePattern(ABC):
 
     expr: BaseElement
 
-    # this attribute allows for a faster match algorithm based on sameq.
-    # Probably we should split ExpressionPattern into two different classes,
-    # one for literal patterns and the other for "Regular" ExpressionPatterns.
+    # This attribute facilitates a faster match algorithm based on sameQ.
     isliteral: bool = False
 
     # TODO: In WMA, when a BasePattern is created, the attributes