diff --git a/Filtered_kernel/dont_submit b/Filtered_kernel/dont_submit
index bbb24e1ee8d..ab973d00ed1 100644
--- a/Filtered_kernel/dont_submit
+++ b/Filtered_kernel/dont_submit
@@ -1,2 +1,3 @@
 TODO_static_filters
 Makefile
+lazykernel.cpp
diff --git a/Filtered_kernel/examples/Filtered_kernel/filtered_predicate.cpp b/Filtered_kernel/examples/Filtered_kernel/Filtered_predicate.cpp
similarity index 95%
rename from Filtered_kernel/examples/Filtered_kernel/filtered_predicate.cpp
rename to Filtered_kernel/examples/Filtered_kernel/Filtered_predicate.cpp
index ad030346a7b..c0a227eb6e4 100644
--- a/Filtered_kernel/examples/Filtered_kernel/filtered_predicate.cpp
+++ b/Filtered_kernel/examples/Filtered_kernel/Filtered_predicate.cpp
@@ -1,4 +1,4 @@
-// file : examples/Filtered_kernel/filtered_predicate.cpp
+// file : examples/Filtered_kernel/Filtered_predicate.cpp
 
 #include <CGAL/Simple_cartesian.h>
 #include <CGAL/Filtered_predicate.h>