diff --git a/doc/iterator.qbk b/doc/iterator.qbk
index ef33240a..51640450 100644
--- a/doc/iterator.qbk
+++ b/doc/iterator.qbk
@@ -254,6 +254,7 @@ expressions must be valid:
 * __iterator_range__ iterator (where adapted iterators are __associative_iterator__\ s)
 * __joint_view__ iterator (where adapted sequences are __associative_sequence__\ s and __forward_sequence__\ s)
 * __reverse_view__ iterator (where adapted sequence is an __associative_sequence__ and a __bidirectional_sequence__)
+* __transform_view__ iterator (where adapted sequence is an __associative_sequence__ and a __forward_sequence__)
 
 [endsect]
 
diff --git a/doc/sequence.qbk b/doc/sequence.qbk
index 6f50fe21..b193b8e9 100644
--- a/doc/sequence.qbk
+++ b/doc/sequence.qbk
@@ -360,6 +360,7 @@ you can use `__result_of_value_at_key__<S, K>`.]
 * __iterator_range__ (where adapted iterators are __associative_iterator__\ s)
 * __joint_view__     (where adapted sequences are __associative_sequence__\ s and __forward_sequence__\ s)
 * __reverse_view__   (where adapted sequence is an __associative_sequence__ and a __bidirectional_sequence__)
+* __transform_view__ (where adapted sequence is an __associative_sequence__ and a __forward_sequence__)
 
 [endsect]
 
diff --git a/doc/view.qbk b/doc/view.qbk
index f39fb7fa..6caa33fc 100644
--- a/doc/view.qbk
+++ b/doc/view.qbk
@@ -328,9 +328,7 @@ defined in __forward_sequence__.
 The unary version of `transform_view` presents a view of its underlying
 sequence given a unary function object or function pointer. The binary
 version of `transform_view` presents a view of 2 underlying sequences,
-given a binary function object or function pointer. The `transform_view`
-inherits the traversal characteristics (see __traversal_concept__)  of
-its underlying sequence or sequences.
+given a binary function object or function pointer.
 
 [heading Header]
 
@@ -362,9 +360,10 @@ its underlying sequence or sequences.
 
 [heading Model of]
 
-* __forward_sequence__, __bidirectional_sequence__ or
-__random_access_sequence__ depending on the traversal characteristics (see
-__traversal_concept__) of its underlying sequence.
+* A model of __forward_sequence__ if `Sequence` is a __forward_sequence__
+else, __bidirectional_sequence__ if `Sequence` is a __bidirectional_sequence__
+else, __random_access_sequence__ if `Sequence` is a __random_access_sequence__.
+* __associative_sequence__ if `Sequence` implements the __associative_sequence__ model.
 
 [variablelist Notation
     [[`TV`]             [A `transform_view` type]]
@@ -381,9 +380,7 @@ __traversal_concept__) of its underlying sequence.
 [heading Expression Semantics]
 
 Semantics of an expression is defined only where it differs from, or is not
-defined in __forward_sequence__, __bidirectional_sequence__ or
-__random_access_sequence__ depending on the traversal characteristics (see
-__traversal_concept__) of its underlying sequence or sequences.
+defined in the implemented models.
 
 [table
     [[Expression]           [Semantics]]