diff --git a/bin/pandoc_fixer.pl b/bin/pandoc_fixer.pl
index 6d80d5521b22e83ee56332a762a173957d0e8ed0..e97a260fa0b0dea07dfb5468ce8a48a3e448f701 100755
--- a/bin/pandoc_fixer.pl
+++ b/bin/pandoc_fixer.pl
@@ -52,7 +52,7 @@ while(defined(my $line=)) {
$line =~ s||Les sources de ce document sont disponibles sur gitlab.|g;
$line .= "
Version du $gitdate.
\n"
} else {
- $line =~ s||The source of this this document is available on gitlab.|g;
+ $line =~ s||The source of this document is available on gitlab.|g;
$line .= "
Last version: $gitdate
\n"
}
}