diff --git a/lib/scripts/tex_copy.py b/lib/scripts/tex_copy.py
index bb0cc68b72..1ec9e9216b 100644
--- a/lib/scripts/tex_copy.py
+++ b/lib/scripts/tex_copy.py
@@ -13,7 +13,7 @@
 # tex_copy.py <from file> <to file> <latex name>
 
 # This script will copy a file <from file> to <to file>.
-# <to file> is no exact copy of <from file>, but any occurence of <basename>
+# <to file> is no exact copy of <from file>, but any occurrence of <basename>
 # where <basename> is <from file> without directory and extension parts is
 # replaced by <latex name> without extension.