diff --git a/Packages/Random_numbers/doc_tex/Generator/Random.tex b/Packages/Random_numbers/doc_tex/Generator/Random.tex
index ac6163cd704..dfcd70d3a69 100644
--- a/Packages/Random_numbers/doc_tex/Generator/Random.tex
+++ b/Packages/Random_numbers/doc_tex/Generator/Random.tex
@@ -83,6 +83,13 @@ described below.
 \ccMemberFunction{ void restore_seed( Seed const& seed);}{
         restores the internal seed from \ccc{seed}.}
 
+% -----------------------------------------------------------------------------
+\ccImplementation
+
+We use the C library function \ccc{erand48} to generate the random
+numbers, i.e.\ the sequence of numbers depends on the implementation
+of \ccc{erand48} on your specific platform.
+
 \end{ccClass}
 
 % ===== EOF ===================================================================
diff --git a/Packages/Random_numbers/doc_tex/support/Generator/Random.tex b/Packages/Random_numbers/doc_tex/support/Generator/Random.tex
index ac6163cd704..dfcd70d3a69 100644
--- a/Packages/Random_numbers/doc_tex/support/Generator/Random.tex
+++ b/Packages/Random_numbers/doc_tex/support/Generator/Random.tex
@@ -83,6 +83,13 @@ described below.
 \ccMemberFunction{ void restore_seed( Seed const& seed);}{
         restores the internal seed from \ccc{seed}.}
 
+% -----------------------------------------------------------------------------
+\ccImplementation
+
+We use the C library function \ccc{erand48} to generate the random
+numbers, i.e.\ the sequence of numbers depends on the implementation
+of \ccc{erand48} on your specific platform.
+
 \end{ccClass}
 
 % ===== EOF ===================================================================