diff --git a/isomorphism-class.cabal b/isomorphism-class.cabal
--- a/isomorphism-class.cabal
+++ b/isomorphism-class.cabal
@@ -1,7 +1,7 @@
 cabal-version: 3.0
 
 name: isomorphism-class
-version: 0.1.0.2
+version: 0.1.0.3
 synopsis: Isomorphism typeclass solving the conversion problem
 homepage: https://github.com/nikita-volkov/isomorphism-class
 bug-reports: https://github.com/nikita-volkov/isomorphism-class/issues
diff --git a/library/IsomorphismClass.hs b/library/IsomorphismClass.hs
--- a/library/IsomorphismClass.hs
+++ b/library/IsomorphismClass.hs
@@ -113,15 +113,15 @@
 --
 -- __Laws__
 --
--- /A/ is isomorphic to /B/ if and only if there exists a conversion from /A/
--- to /B/ ('to') and a conversion from /B/ to /A/ ('from') such that:
+-- /B/ is isomorphic to /A/ if and only if there exists a conversion from /B/
+-- to /A/ ('to') and a conversion from /A/ to /B/ ('from') such that:
 --
--- - @'from' . 'to' = 'id'@ - For all values of /A/ converting from /A/ to /B/
---     and then converting from /B/ to /A/ produces a value that is identical
+-- - @'from' . 'to' = 'id'@ - For all values of /B/ converting from /B/ to /A/
+--     and then converting from /A/ to /B/ produces a value that is identical
 --     to the original.
 --
--- - @'to' . 'from' = 'id'@ - For all values of /B/ converting from /B/ to /A/
---     and then converting from /A/ to /B/ produces a value that is identical
+-- - @'to' . 'from' = 'id'@ - For all values of /A/ converting from /A/ to /B/
+--     and then converting from /B/ to /A/ produces a value that is identical
 --     to the original.
 --
 -- __Usage__