diff --git a/CHANGELOG.md b/CHANGELOG.md
index 13e28c6ec..d2c8d2145 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -26,9 +26,9 @@ Library changes:
    + Anything in `Data.Linear` in `contrib`, just like the rest of `contrib`,
      should be considered experimental with the API able to change at any time!
      Further experiments in `Data.Linear` are welcome :).
-* Added `Data.ST`, for update in-place via `STRef` (which is like `IORef`, but
-  can escape from `IO`). Also added `Data.Ref` which provides an interface to
-  both `IORef` and `STRef`.
+* Added `Control.Monad.ST`, for update in-place via `STRef` (which is like
+  `IORef`, but can escape from `IO`). Also added `Data.Ref` which provides an
+  interface to both `IORef` and `STRef`.
 
 Changes since Idris 2 v0.1.0
 ----------------------------