X-Git-Url: https://git.openstreetmap.org./nominatim.git/blobdiff_plain/2e5bdb87941752aa12b049bb97f8508ac125c61d..e21a7071668784c757d3b32bdaf3dbcd279a85c0:/docs/develop/Documentation.md

diff --git a/docs/develop/Documentation.md b/docs/develop/Documentation.md
index debe6858..0d3c3e02 100644
--- a/docs/develop/Documentation.md
+++ b/docs/develop/Documentation.md
@@ -9,7 +9,7 @@ pip3 install --user mkdocs
 ```
 
 If `mkdocs` can't be found after the installation, the $PATH might have not
-be set correctly yet. Try opening a new terminal session.
+been set correctly yet. Try opening a new terminal session.
 
 
 Then go to the build directory and run