diff --git a/doc/value/main.tex b/doc/value/main.tex
index 857207e7a5d79fa721b7a0ad1031b75ec1c6c02e..dac4374ae5f2379dcc3cc12637a44b3d7b220cbd 100644
--- a/doc/value/main.tex
+++ b/doc/value/main.tex
@@ -2042,7 +2042,7 @@ user can produce and check some information relevant for auditing purposes.
 
 \begin{itemize}
 \item the list of all source files used during parsing: not only those
-  given in the command line, but also those in \lslinline|#include|
+  given in the command line, but also those in \lstinline|#include|
   directives, recursively. This usually includes Frama-C's standard library.
   For each file, its MD5 checksum is also printed;
 \item the list of {\em enabled} and {\em disabled} warning categories,