diff --git a/Random_numbers/include/CGAL/Random_impl.h b/Random_numbers/include/CGAL/Random_impl.h
index fb097cca70e..cb97040d743 100644
--- a/Random_numbers/include/CGAL/Random_impl.h
+++ b/Random_numbers/include/CGAL/Random_impl.h
@@ -48,7 +48,7 @@ Random( )
     seed = (unsigned int)s;
 #if defined( CGAL_TEST_SUITE ) || defined( CGAL_PRINT_SEED )
     if(this == & get_default_random()){
-      std::cerr << "default_random::get_seed() = " << seed << std::endl;
+      std::cerr << "CGAL::get_default_random()::get_seed() = " << seed << std::endl;
     }
 #endif
     // initialize random numbers generator