diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3ff923a19..e62218bc0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -68,6 +68,9 @@
   dangerous as Idris will pick an arbitrary one and so the meaning of an
   expression can depend e.g. on the order in which modules are imported.
 
+  * Additionally some conflicting fixity declarations in the Idris 2 compiler
+    and libraries have been removed.
+
 ### Library changes
 
 #### Prelude
diff --git a/src/Compiler/ES/Doc.idr b/src/Compiler/ES/Doc.idr
index f2d2eb4b5..7bc4300a7 100644
--- a/src/Compiler/ES/Doc.idr
+++ b/src/Compiler/ES/Doc.idr
@@ -3,7 +3,6 @@ module Compiler.ES.Doc
 import Data.List
 
 infixr 6 <++>
-infixl 8 <?>
 
 public export
 data Doc