diff --git a/src/plugins/e-acsl/doc/userman/limitations.tex b/src/plugins/e-acsl/doc/userman/limitations.tex
index cb007c17c1462a65e53043a7d2d210be6dc61fae..f0a488f0f90dc16c86f5d3bd51d06ee14b079934 100644
--- a/src/plugins/e-acsl/doc/userman/limitations.tex
+++ b/src/plugins/e-acsl/doc/userman/limitations.tex
@@ -130,7 +130,7 @@ A violation of such an annotation $a$ is undetected. There is no workaround yet.
 Also, the option \optionuse{-}{e-acsl-check} does not verify the annotations of
 undefined functions. There is also no workaround yet.
 
-\section{Recursive Function}
+\section{Recursive Functions}
 \index{Function!Recursive}
 
 Programs containing recursive functions have the same limitations as the ones
@@ -185,3 +185,5 @@ correctly.
 recent and presently has very limited support for 32-bit architectures.  When
 using a 32-bit machine we recommend using the bittree-based memory model
 instead.
+
+This library also assumes a little-endian architecture.