diff --git a/iterator_adaptor_test.cpp b/iterator_adaptor_test.cpp
index cb22d87..8e8d0de 100644
--- a/iterator_adaptor_test.cpp
+++ b/iterator_adaptor_test.cpp
@@ -98,6 +98,8 @@ typedef std::deque<int> storage;
 typedef std::deque<int*> pointer_deque;
 typedef std::set<storage::iterator> iterator_set;
 
+template <class T> struct foo;
+
 int
 main()
 {
@@ -108,6 +110,7 @@ main()
   // sanity check, if this doesn't pass the test is buggy
   boost::random_access_iterator_test(array, N, array);
 
+#if 0
   // Check that the policy concept checks and the default policy
   // implementation match up.
   boost::function_requires< 
@@ -210,7 +213,7 @@ main()
 
     typedef boost::reverse_iterator_generator<const dummyT*
 #ifdef BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
-        , const dummyT
+      , dummyT, const dummyT&, const dummyT
 #endif
       >::type const_reverse_iterator;
     
@@ -367,6 +370,7 @@ main()
     if (zero) // don't do this, just make sure it compiles
       assert((*i).m_x == i->foo());      
   }
+#endif
   std::cout << "test successful " << std::endl;
   return 0;
 }
diff --git a/iterator_adaptors.htm b/iterator_adaptors.htm
index 9657a9e..2b6c7a5 100644
--- a/iterator_adaptors.htm
+++ b/iterator_adaptors.htm
@@ -214,7 +214,7 @@ struct iterator_adaptor;
         particular, the result type of <tt>operator*()</tt>.<br>
          <b>Default:</b> If <tt>Value</tt> is supplied, <tt>Value&amp;</tt> is
         used. Otherwise
-        <tt>std::iterator_traits&lt;BaseType&gt;::reference</tt> is used.
+        <tt>std::iterator_traits&lt;BaseType&gt;::reference</tt> is used. <a href="#7">[7]</a>
 
       <tr>
         <td><tt>Pointer</tt> 
@@ -222,7 +222,7 @@ struct iterator_adaptor;
         <td>The <tt>pointer</tt> type of the resulting iterator, and in
         particular, the result type of <tt>operator-&gt;()</tt>.<br>
          <b>Default:</b> If <tt>Value</tt> was supplied, then <tt>Value*</tt>,
-        otherwise <tt>std::iterator_traits&lt;BaseType&gt;::pointer</tt>.
+        otherwise <tt>std::iterator_traits&lt;BaseType&gt;::pointer</tt>. <a href="#7">[7]</a>
 
       <tr>
         <td><tt>Category</tt> 
@@ -884,6 +884,14 @@ bool operator==(const iterator_adaptor&lt;B1,P,V1,R1,P1,C,D&gt;&amp;,
     *x = i;
 </pre>
 
+    <p><a name="7">[7]</a>
+    If you are using a compiler that does not have a version of
+    <tt>std::iterator_traits</tt> that works for pointers (i.e., if your
+    compiler does not support partial specialization) then if the
+    <tt>Base</tt> type is a const pointer, then the correct defaults
+    for the <tt>reference</tt> and <tt>pointer</tt> types can not be
+    deduced. You must specify these types explicitly.
+
     <hr>
 
     <p>Revised