diff --git a/Packages/Random_numbers/web/Random.aw b/Packages/Random_numbers/web/Random.aw
index f356cb6d331..035b83e735b 100644
--- a/Packages/Random_numbers/web/Random.aw
+++ b/Packages/Random_numbers/web/Random.aw
@@ -164,7 +164,6 @@ In the default constructor the seed is initialized using the system
 time.
 
 @macro <Random constructors> = @begin
-    #include <stdlib.h>
     #include <sys/time.h>
 
     CGAL_Random::
@@ -351,6 +350,7 @@ numbers.
     #ifndef CGAL_BASIC_H
     #  include <CGAL/basic.h>
     #endif
+    #include <stdlib.h>
 
     @<Random interface>