path: root/doc
diff options
Diffstat (limited to 'doc')
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/environment.rst b/doc/environment.rst
index de45780ce..2571a1f3a 100644
--- a/doc/environment.rst
+++ b/doc/environment.rst
@@ -173,7 +173,7 @@ for the installation process.
The installation paths are configured in a way that several PTXdist
versions can be installed in parallel. So if an old version of PTXdist
-is already installed there is no need to remove it.
+is already installed, there is no need to remove it.
One of the most important tasks for the ``configure`` script is to find
out if all the programs PTXdist depends on are already present on the