diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index c0a29be..7339701 100644
--- a/Doc/dist/dist.tex
+++ b/Doc/dist/dist.tex
@@ -1754,7 +1754,7 @@
 the \command{upload} command are uploaded.
 
 The \command{upload} command uses the username and password stored in
-in the file \file{\$HOME/.pypirc}, see section~\ref{pypirc}.
+the file \file{\$HOME/.pypirc}, see section~\ref{pypirc}.
 
 \chapter{Examples}
 \label{examples}