diff --git a/winsup/doc/ChangeLog b/winsup/doc/ChangeLog
index c737e4f8f..4c9281a1c 100644
--- a/winsup/doc/ChangeLog
+++ b/winsup/doc/ChangeLog
@@ -1,3 +1,7 @@
+2009-12-23  Corinna Vinschen  <corinna@vinschen.de>
+
+	* pathnames.sgml (mount-table): Add missing slash in pathname.
+
 2009-12-14  Corinna Vinschen  <corinna@vinschen.de>
 
 	* faq-setup.xml (faq.setup.mirror): Fix URL to wget.
diff --git a/winsup/doc/pathnames.sgml b/winsup/doc/pathnames.sgml
index f909bd533..f6aa84fcd 100644
--- a/winsup/doc/pathnames.sgml
+++ b/winsup/doc/pathnames.sgml
@@ -225,7 +225,7 @@ The old user mount points in your HKEY_CURRENT_USER branch of the registry
 are not used to generate <filename>/etc/fstab</filename>.  If you want
 to create a user specific <filename>/etc/fstab.d/${USER}</filename> file
 from your old entries, there's a script available which does exactly
-that for you, <filename>bin/copy-user-registry-fstab</filename>.  Just
+that for you, <filename>/bin/copy-user-registry-fstab</filename>.  Just
 start the script and it will create your user specific fstab file.  Stop
 all your Cygwin processes and restart them, and you can simply use your
 old user mount points as before.