diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt
index 20ab9eb0..2cc55c2d 100644
--- a/docs/manifest-format.txt
+++ b/docs/manifest-format.txt
@@ -209,7 +209,7 @@ Deletes the named project from the internal manifest table, possibly
 allowing a subsequent project element in the same manifest file to
 replace the project with a different source.
 
-This element is mostly useful in the local_manifest.xml, where
+This element is mostly useful in a local manifest file, where
 the user can remove a project, and possibly replace it with their
 own definition.