diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,4 @@
+0.9.6: More fixed docs
 0.9.5: Fixed docs
 0.9.4: Added tmap and laws
 0.9.3: Not awake
diff --git a/Data/TASequence.hs b/Data/TASequence.hs
--- a/Data/TASequence.hs
+++ b/Data/TASequence.hs
@@ -52,11 +52,13 @@
 Instances should satisfy the following laws:
 
 Category laws:
+
 > tempty >< x == x
 > x >< tempty == x
 > (x >< y) >< z = x >< (y >< z)
 
 Observation laws:
+
 > tviewl (tsingleton e >< s) == e :< s
 > tviewl tempty == TAEmptyL
 
diff --git a/type-aligned.cabal b/type-aligned.cabal
--- a/type-aligned.cabal
+++ b/type-aligned.cabal
@@ -1,5 +1,5 @@
 Name:                type-aligned
-Version:             0.9.5
+Version:             0.9.6
 Synopsis:	         Various type-aligned sequence data structures.
 Description:         Various data structures for type aligned sequences: heterogeneous sequences where the types enforce the element order.
 License:             BSD3