diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+- 0.2.5.2
+    - Actually drop `semigroups` dependency
+    - Update bounds
+
 - 0.2.5.1
     - Drop unnecessary dependencies `semigroups`, `base-compat`
     - Update bounds
diff --git a/insert-ordered-containers.cabal b/insert-ordered-containers.cabal
--- a/insert-ordered-containers.cabal
+++ b/insert-ordered-containers.cabal
@@ -1,5 +1,5 @@
 name:               insert-ordered-containers
-version:            0.2.5.1
+version:            0.2.5.2
 synopsis:
   Associative containers retaining insertion order for traversals.
 
@@ -24,8 +24,10 @@
    || ==8.6.5
    || ==8.8.4
    || ==8.10.7
-   || ==9.0.1
-   || ==9.2.1
+   || ==9.0.2
+   || ==9.2.7
+   || ==9.4.5
+   || ==9.6.1
 
 extra-source-files:
   CHANGELOG.md
@@ -40,23 +42,18 @@
   hs-source-dirs:   src
   ghc-options:      -Wall
   build-depends:
-      aeson                 >=1.4.2.0  && <1.6 || >=2.0.0.0 && <2.1
-    , base                  >=4.9      && <4.17
+      aeson                 >=1.4.2.0  && <1.6 || >=2.0.0.0 && <2.2
+    , base                  >=4.9      && <4.19
     , deepseq               >=1.4.2.0  && <1.5
     , hashable              >=1.2.6.1  && <1.5
     , indexed-traversable   >=0.1.1    && <0.2
-    , lens                  >=4.17     && <5.2
+    , lens                  >=4.17     && <5.3
     , optics-core           >=0.2      && <0.5
     , optics-extra          >=0.2      && <0.5
-    , semigroupoids         >=5.3.2    && <5.4
-    , text                  >=1.2.3.0  && <1.3
-    , transformers          >=0.5.2.0  && <0.6
+    , semigroupoids         >=5.3.2    && <6.1
+    , text                  >=1.2.3.0  && <1.3 || >=2.0 && <2.1
+    , transformers          >=0.5.2.0  && <0.7
     , unordered-containers  >=0.2.14.0 && <0.3
-
-  if !impl(ghc >=8.0)
-    build-depends:
-        semigroups    >=0.18.5  && <0.21
-      , transformers  >=0.5.2.0 && <0.6
 
   exposed-modules:
     Data.HashMap.Strict.InsOrd
diff --git a/src/Data/HashSet/InsOrd.hs b/src/Data/HashSet/InsOrd.hs
--- a/src/Data/HashSet/InsOrd.hs
+++ b/src/Data/HashSet/InsOrd.hs
@@ -6,7 +6,7 @@
 {-# LANGUAGE ScopedTypeVariables   #-}
 {-# LANGUAGE Trustworthy           #-}
 {-# LANGUAGE TypeFamilies          #-}
--- | 'InsOrdHashSet' is like 'HashMap', but it folds in insertion order.
+-- | 'InsOrdHashSet' is like 'HashSet', but it folds in insertion order.
 --
 -- This module interface mimics "Data.HashSet", with some additions.
 module Data.HashSet.InsOrd (