diff --git a/Filtered_kernel/include/CGAL/Uncertain.h b/Filtered_kernel/include/CGAL/Uncertain.h
index e4b23a9c2c9..3316f4b0cf1 100644
--- a/Filtered_kernel/include/CGAL/Uncertain.h
+++ b/Filtered_kernel/include/CGAL/Uncertain.h
@@ -21,9 +21,9 @@
 #ifndef CGAL_UNCERTAIN_H
 #define CGAL_UNCERTAIN_H
 
-#include <CGAL/basic.h>
-#include <stdexcept>
+#include <CGAL/config.h>
 #include <CGAL/enum.h>
+#include <stdexcept>
 
 CGAL_BEGIN_NAMESPACE
 
diff --git a/Kernel_23/include/CGAL/Kernel/Same_uncertainty.h b/Kernel_23/include/CGAL/Kernel/Same_uncertainty.h
index b6c19b1be48..26c90da6742 100644
--- a/Kernel_23/include/CGAL/Kernel/Same_uncertainty.h
+++ b/Kernel_23/include/CGAL/Kernel/Same_uncertainty.h
@@ -24,7 +24,7 @@
 #ifndef CGAL_SAME_UNCERTAINTY_H
 #define CGAL_SAME_UNCERTAINTY_H
 
-#include <CGAL/basic.h>
+#include <CGAL/config.h>
 
 CGAL_BEGIN_NAMESPACE
 
diff --git a/Kernel_23/include/CGAL/enum.h b/Kernel_23/include/CGAL/enum.h
index 5b95788edba..b3f5d741f49 100644
--- a/Kernel_23/include/CGAL/enum.h
+++ b/Kernel_23/include/CGAL/enum.h
@@ -24,7 +24,7 @@
 #ifndef CGAL_ENUM_H
 #define CGAL_ENUM_H
 
-#include <CGAL/basic.h>
+#include <CGAL/config.h>
 #include <CGAL/Kernel/Same_uncertainty.h>
 
 // If you add/change one type here, please update Is_a_predicate.h as well.