diff --git a/chapter06/udev.xml b/chapter06/udev.xml
index 4764603d8..0a92f9323 100644
--- a/chapter06/udev.xml
+++ b/chapter06/udev.xml
@@ -119,7 +119,7 @@ mknod -m0666 /lib/udev/devices/null c 1 3</userinput></screen>
 
     <para>Remove an empty documentation directory:</para>
 
-<screen><userinput remap="install">rmdir /usr/share/doc/udev</userinput></screen>
+<screen><userinput remap="install">rmdir -v /usr/share/doc/udev</userinput></screen>
 
     <para>Udev's default configuration covers most but not all devices. Install
     a file to create symlinks for certain hand-held devices:</para>