diff --git a/Nef_3/include/CGAL/Nef_3/SNC_k3_tree_traits.h b/Nef_3/include/CGAL/Nef_3/SNC_k3_tree_traits.h
index d151d670619..77cca788699 100644
--- a/Nef_3/include/CGAL/Nef_3/SNC_k3_tree_traits.h
+++ b/Nef_3/include/CGAL/Nef_3/SNC_k3_tree_traits.h
@@ -121,6 +121,8 @@ public:
   virtual Bounding_box_3 operator()(Halffacet_handle f) const;
   virtual Bounding_box_3 operator()(Halffacet_triangle_handle f) const;
 
+  virtual Objects_bbox() {}
+
   SNC_decorator D;
 };
 
diff --git a/Nef_3/include/CGAL/Nef_3/SNC_point_locator.h b/Nef_3/include/CGAL/Nef_3/SNC_point_locator.h
index 4d8ea300f82..29f7269228a 100644
--- a/Nef_3/include/CGAL/Nef_3/SNC_point_locator.h
+++ b/Nef_3/include/CGAL/Nef_3/SNC_point_locator.h
@@ -70,8 +70,6 @@ protected:
 
 public: 
   typedef typename SNC_structure::Object_handle Object_handle;
-  typedef typename Decorator_traits::Halfedge_handle Halfedge_handle;
-  typedef typename Decorator_traits::Halffacet_handle Halffacet_handle;
 
   typedef typename SNC_structure::Point_3 Point_3;
   typedef typename SNC_structure::Segment_3 Segment_3;
@@ -110,6 +108,8 @@ public:
   public:
     virtual void operator()( Halfedge_handle edge, Object_handle object, 
                              const Point_3& intersection_point) const = 0;
+    
+    virtual ~Intersection_call_back() {}
   };
 
   virtual void initialize(SNC_structure* W) = 0;
@@ -164,8 +164,6 @@ public:
   typedef K3_tree SNC_candidate_provider;
   
   typedef typename SNC_structure::Object_handle Object_handle;
-  typedef typename Decorator_traits::Halfedge_handle Halfedge_handle;
-  typedef typename Decorator_traits::Halffacet_handle Halffacet_handle; 
  #ifdef CGAL_NEF3_TRIANGULATE_FACETS
   typedef typename Decorator_traits::Halffacet_triangle_handle 
                                      Halffacet_triangle_handle;
diff --git a/Nef_3/include/CGAL/Nef_3/SNC_ray_shooter.h b/Nef_3/include/CGAL/Nef_3/SNC_ray_shooter.h
index b738da3c711..c4409ef6290 100644
--- a/Nef_3/include/CGAL/Nef_3/SNC_ray_shooter.h
+++ b/Nef_3/include/CGAL/Nef_3/SNC_ray_shooter.h
@@ -64,9 +64,6 @@ public:
   typedef SM_point_locator<SM_decorator>           SM_point_locator;
   typedef SNC_intersection<SNC_structure>          SNC_intersection;
 
-  typedef typename SNC_decorator::Decorator_traits Decorator_traits;
-  typedef typename Decorator_traits::SM_decorator SM_decorator;
-
   typedef typename Decorator_traits::Vertex_handle Vertex_handle;
   typedef typename Decorator_traits::Halfedge_handle Halfedge_handle;
   typedef typename Decorator_traits::Halffacet_handle Halffacet_handle;