diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2dd02269321..6b4c543ee06 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -25,7 +25,6 @@
 * Adds documentation for unquotes `~( )`.
 * Adds documentation for laziness and codata primitives: `Lazy`, `Inf`, `Delay`,
   and `Force`.
-* Adds documentation for `Not`.
 
 ### Backend changes
 
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 0704cd563a4..529ff34f914 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -37,7 +37,6 @@ Kevin Boulain
 LuoChen
 Marc Petit-Huguenin
 MarcelineVQ
-Marshall Abrams
 Marshall Bowers
 Mathew Polzin
 Matthew Wilson