diff --git a/module1/ressources/sequence3.org b/module1/ressources/sequence3.org
index 94754abbca60fcb048702bbd59acecdef74ce6a1..00761df5e9f066d2e1eabd689dfad4d560230166 100644
--- a/module1/ressources/sequence3.org
+++ b/module1/ressources/sequence3.org
@@ -15,7 +15,7 @@
 * Table of contents                                                     :TOC:
 - [[#text-files-and-text-editors][Text files and text editors]]
 - [[#the-case-of-the-pdf-file-opened-with-a-text-editor][The case of the =PDF= file opened with a text editor]]
-- [[#on-tinyTex][On TinyTex]]
+- [[#on-tinytex][On TinyTex]]
 
 * Text files and text editors
 A more technical as well as less circular (!) definition of a text file can be found on the dedicated [[https://en.wikipedia.org/wiki/Text_file][Wikipedia article]]. For more details on text editors you can also check the [[https://en.wikipedia.org/wiki/Text_editor][corresponding Wikipedia page]].