diff --git a/doc/aorai/main.tex b/doc/aorai/main.tex
index bcdb2d0309e4aeec8d9b3e6da35057b8a93f4d9b..0c902318f7b36da17d9035a490b09dcf39f456d2 100644
--- a/doc/aorai/main.tex
+++ b/doc/aorai/main.tex
@@ -75,7 +75,7 @@ in particular the notions of {\it plug-ins} and {\it project}.
 \end{itemize}
 
 \vspace*{20pt}
-\noindent \textbf{Official website for the original version:}
+\noindent \textbf{Official website:}
 
 \begin{center}
   \url{https://www.frama-c.com/fc-plugins/aorai.html}