diff --git a/Documentation.html b/Documentation.html
index 870feb084..49c485df6 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -697,7 +697,7 @@
 <p>
     Write access to the CVS tree is granted only to experienced developers who
     have already contributed something useful to phpMyAdmin.<br />
-    Also, have a look at the file DEVELOPERS.
+    Also, have a look at the <a class="navigation" href="#developers">Developers section</a>.
 </p>
  
 <p>
@@ -732,7 +732,7 @@
     <b>How can I insert a null value into my table?</b>
     <br />
     Enter &quot;null&quot;, without the quotes, as the field's value. This is
-    especially useful for Timestamp ot AutoIncrement fields.
+    especially useful for <tt>Timestamp</tt> or <tt>AutoIncrement</tt> fields.
 </p>
 
 <p>
@@ -818,7 +818,7 @@
     It's not really phpMyAdmin related but RedHat 7.0. You have a RedHat 7.0
     and you updated your php rpm to php-4.0.4pl1-3.i386.rpm, didn't you? 
     <br /> 
-    So the problem is that this packaged has a serious bug that was corrected
+    So the problem is that this package has a serious bug that was corrected
     ages ago in php (2001-01-28: see
     <a href="http://www.php.net/bugs.php?id=8966">php's bug tracking system</a>
     for more details). The problem is that the bugged package is still