diff --git a/doc/ver.xml b/doc/ver.xml
index b06d3ab..5f73dbe 100644
--- a/doc/ver.xml
+++ b/doc/ver.xml
@@ -10,10 +10,13 @@ the extends keyword (Arnaud Rogues).</li>
 <li> A <em>views</em> feature provides the ability to specify package-based
 option overrides in UMLOptions like classes,
 and to generate multiple diagrams out of a code base in a single pass.
-See the new tags @view, @opt_override, @hideall, and the command line
+See the new tags @view, @match and the command line
 parameters -d, -view, -views (Andrea Aime)</li>
+<li> Options can be reset to their default value using the "@opt !option" 
+     syntax (useful for local overrides and in views) (Andrea Aime)</li>
 <li> Javadoc documentation (Andrea Aime).</li>
-<li> Centralized option handling in the Option class (even for command line arguments) (Andrea Aime).</li>
+<li> Centralized option handling in the Option class (even for command line
+     arguments) (Andrea Aime).</li>
 </ul>
 
 <dt>Version 4.1 2005/11/15</dt><dd>