diff --git a/swift/ql/lib/change-notes/2023-05-25-fix-ast-and-cfg-inconsistencies.md b/swift/ql/lib/change-notes/2023-05-25-fix-ast-and-cfg-inconsistencies.md
index d7806a38360..208486b8f27 100644
--- a/swift/ql/lib/change-notes/2023-05-25-fix-ast-and-cfg-inconsistencies.md
+++ b/swift/ql/lib/change-notes/2023-05-25-fix-ast-and-cfg-inconsistencies.md
@@ -2,13 +2,4 @@
 category: fix
 ---
 
-* Fixed some AST printing inconsistencies leading to a non-tree AST. In particular:
-    * `getOpaqueExpr()` is not considered a child of `OpenExistentialExpr` anymore, as it is
-       actually a reference to an expression nested within `getSubExpr()`;
-    * fixed some corner cases involving synthesized `PatternBindingDecl`s for variables wrapped with
-      property wrappers.
-* Fixed some control flow graph inconsistencies leading to multiple successors and dead ends.
-  In particular:
-    * fixed the corner cases mentioned above for AST printing, which were a problem also for the
-      control graph;
-    * fixed an inconsistency caused by an unneeded special treatment of `TapExpr`.
+* Fixed a number of inconsistencies in the abstract syntax tree (AST) and in the control-flow graph (CFG). This may lead to more results in queries that use these libraries, or libraries that depend on them (such as dataflow).