diff --git a/records.cabal b/records.cabal
--- a/records.cabal
+++ b/records.cabal
@@ -1,5 +1,5 @@
 Name:          records
-Version:       0.1.1.0
+Version:       0.1.1.1
 Cabal-Version: >= 1.2.3
 Build-Type:    Simple
 License:       BSD3
diff --git a/src/Data/Record.hs b/src/Data/Record.hs
--- a/src/Data/Record.hs
+++ b/src/Data/Record.hs
@@ -51,12 +51,10 @@
     (X :& Surname ::: String :& Age ::: Int :& Room ::: String) ('Id' 'KindStar')
         @
 
-        If we replace the type @Id KindStar@ by @Id KindStar -> Id KindStar@, we get a type that covers
-        all records with a @Surname@, an @Age@, and a @Room@ field that contain values of type
-        @String -> String@, @Int -> Int@, and @String -> String@, respectively. (Note that the type @Id
-        KindStar -> Id KindStar@ represents the type-level function @\\t -> (t -> t)@ according to the
-        @(->)@ instance of 'TypeFun'.) So by varying the style, we can generate a family of related
-        record types from a single record scheme.
+        If we replace the type @Id KindStar@ by @Id KindStar :-> Id KindStar@, we get a type that
+        covers all records with a @Surname@, an @Age@, and a @Room@ field that contain values of
+        type @String -> String@, @Int -> Int@, and @String -> String@, respectively. So by varying
+        the style, we can generate a family of related record types from a single record scheme.
     -}
 
     -- |The empty record scheme.
diff --git a/src/Data/Record/Combinators.hs b/src/Data/Record/Combinators.hs
--- a/src/Data/Record/Combinators.hs
+++ b/src/Data/Record/Combinators.hs
@@ -60,20 +60,20 @@
 
         @
     ('App' style sortSurname ~ String, Num ('App' style sortAge), 'App' style sortRoom ~ String) =>
-    (X :& Surname ::: /sortSurname/ :& Age ::: /sortAge/ :& Room ::: /sortRoom/) style
+    (X :& Surname ::: sortSurname :& Age ::: sortAge :& Room ::: sortRoom) style
         @
 
         We can fix the style of that record using the expression
 
         @
-    X :& Surname := \"Jeltsch\" :& Age := 33 :& Room := \"HG/2.39\" \`withStyle\` Id KindStar
+    X :& Surname := \"Jeltsch\" :& Age := 33 :& Room := \"HG/2.39\" \`withStyle\` 'Id' 'KindStar'
         @
 
         which has the most general type
 
         @
     (Num age) =>
-    (X :& Surname ::: String :& Age ::: age :& Room ::: String) (Id KindStar)
+    (X :& Surname ::: String :& Age ::: age :& Room ::: String) ('Id' 'KindStar')
         @
 
         The @withStyle@ combinator is similar to 'asTypeOf'.