diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -64,3 +64,7 @@
 * Seventh version. Added new constraints encoding to the Phladiprelio.ContstraintsEncoded module 
 (N, D, I). Some documentation improvements.
 
+## 0.7.0.1 -- 2023-05-31
+
+* Seventh version revised A. Some minor documentation improvements.
+
diff --git a/Phladiprelio/ConstraintsEncoded.hs b/Phladiprelio/ConstraintsEncoded.hs
--- a/Phladiprelio/ConstraintsEncoded.hs
+++ b/Phladiprelio/ConstraintsEncoded.hs
@@ -61,7 +61,7 @@
 import Data.SubG (InsertLeft(..), splitAtEndG)
 import Data.Tuple (fst)
 
-data EncodedContraints a b c 
+data EncodedContraints a b d 
   = E  -- ^ Represents no additional constraint, corresponds to the whole set of theoretically possible permutations.
   | P a b  -- ^ Represents the set of permutations with the fixed positions of some elements.
   | Q a a a a a  -- ^ Represents the set of permutations with the preserved pairwise order between first and second, second and third, third and fourth elements.
@@ -74,9 +74,9 @@
   | H a a a a   -- ^ Represents the set of permutations with the preserved both distances between and order of the three elements.
   | R a a a a   -- ^ Represents the set of permutations with the preserved pairwise distances between the first and second, second and third elements.
   | M a a a a   -- ^ Represents the set of permutations with the preserved pairwise distances between the first and second, second and third elements, and additionally the order of the first and second elements.
-  | N a c  -- ^ Represents the set of permutations with the moved fixed positions of some elements (at least one).
+  | N a d  -- ^ Represents the set of permutations with the moved fixed positions of some elements (at least one).
   | D a a a a  -- ^ Pepresents the set of permutations with the specified order and distance between the two elements.
-  | I a a a a-- ^ Pepresents the set of permutations with the specified distance between the two elements.
+  | I a a a a -- ^ Pepresents the set of permutations with the specified distance between the two elements.
   deriving (Eq, Ord, Show)
 
 validOrdStr0 
diff --git a/phonetic-languages-constraints-array.cabal b/phonetic-languages-constraints-array.cabal
--- a/phonetic-languages-constraints-array.cabal
+++ b/phonetic-languages-constraints-array.cabal
@@ -2,7 +2,7 @@
 -- For further documentation, see http://haskell.org/cabal/users-guide/
 
 name:                phonetic-languages-constraints-array
-version:             0.7.0.0
+version:             0.7.0.1
 synopsis:            Constraints to filter the needed permutations
 description:         Provides several the most important variants of constraints. Can be used with the phonetic-languages-common series of package. Instead of vectors, uses arrays.
 homepage:            https://hackage.haskell.org/package/phonetic-languages-constraints-array