diff --git a/Documentation/redo.md b/Documentation/redo.md
index 4e1fb3f..39344c6 100644
--- a/Documentation/redo.md
+++ b/Documentation/redo.md
@@ -126,7 +126,7 @@ directories.  For example, if given a target named
 `../a/b/xtarget.y`, redo will look for a .do file in the
 following order:
 
-- $PWD/../a/b/xtarget.y
+- $PWD/../a/b/xtarget.y.do
 - $PWD/../a/b/default.y.do
 - $PWD/../a/b/default.do
 - $PWD/../a/default.y.do