diff --git a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic.h b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic.h
index 402575d10dc..5a48f50cc49 100644
--- a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic.h
+++ b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic.h
@@ -31,7 +31,7 @@
 #include <iostream.h>
 #include <CGAL/assertions.h>
 #include <CGAL/double.h>	// For CGAL_is_valid() and CGAL_is_finite().
-#include <CGAL/IA/_FPU.h>	// FPU rounding mode functions.
+#include <CGAL/Interval_arithmetic/_FPU.h>	// FPU rounding mode functions.
 
 
 class CGAL_Interval_nt_advanced
@@ -421,23 +421,23 @@ ostream& operator<<(ostream& os, CGAL_Interval_nt_advanced& d)
 // Finally we source the cast functions from other NTs, when necessary.
 
 #ifdef CGAL_GMPZ_H
-#include <CGAL/IA/IA_Gmpz.h>
+#include <CGAL/Interval_arithmetic/IA_Gmpz.h>
 #endif
 
 #ifdef CGAL_BIGFLOAT_H
-#include <CGAL/IA/IA_leda_bigfloat.h>
+#include <CGAL/Interval_arithmetic/IA_leda_bigfloat.h>
 #endif
 
 #ifdef CGAL_INTEGER_H
-#include <CGAL/IA/IA_leda_integer.h>
+#include <CGAL/Interval_arithmetic/IA_leda_integer.h>
 #endif
 
 #ifdef CGAL_REAL_H
-#include <CGAL/IA/IA_leda_real.h>
+#include <CGAL/Interval_arithmetic/IA_leda_real.h>
 #endif
 
 #ifdef CGAL_RATIONAL_H
-#include <CGAL/IA/IA_leda_rational.h>
+#include <CGAL/Interval_arithmetic/IA_leda_rational.h>
 #endif
 
 #endif /* CGAL_INTERVAL_ARITHMETIC_H */
diff --git a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_Gmpz.h b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_Gmpz.h
index 8bea71f003a..8c92c552f64 100644
--- a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_Gmpz.h
+++ b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_Gmpz.h
@@ -11,7 +11,7 @@
 // release       :
 // release_date  :
 //
-// file          : include/CGAL/IA/IA_Gmpz.h
+// file          : include/CGAL/Interval_arithmetic/IA_Gmpz.h
 // revision      : 1.7
 // revision_date : 1 July 1998
 // package       : Interval Arithmetic
diff --git a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_bigfloat.h b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_bigfloat.h
index a32bb1aabae..a736de65fcb 100644
--- a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_bigfloat.h
+++ b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_bigfloat.h
@@ -11,7 +11,7 @@
 // release       :
 // release_date  :
 //
-// file          : include/CGAL/IA/IA_leda_bigfloat.h
+// file          : include/CGAL/Interval_arithmetic/IA_leda_bigfloat.h
 // revision      : 1.7
 // revision_date : 1 July 1998
 // package       : Interval Arithmetic
diff --git a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_integer.h b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_integer.h
index 19ef7e204c0..93a53749beb 100644
--- a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_integer.h
+++ b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_integer.h
@@ -11,7 +11,7 @@
 // release       :
 // release_date  :
 //
-// file          : include/CGAL/IA/IA_leda_integer.h
+// file          : include/CGAL/Interval_arithmetic/IA_leda_integer.h
 // revision      : 1.7
 // revision_date : 1 July 1998
 // package       : Interval Arithmetic
diff --git a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_rational.h b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_rational.h
index 3b02d4d9714..5f5cc35bf39 100644
--- a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_rational.h
+++ b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_rational.h
@@ -11,7 +11,7 @@
 // release       :
 // release_date  :
 //
-// file          : include/CGAL/IA/IA_leda_rational.h
+// file          : include/CGAL/Interval_arithmetic/IA_leda_rational.h
 // revision      : 1.7
 // revision_date : 1 July 1998
 // package       : Interval Arithmetic
diff --git a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_real.h b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_real.h
index e54d2698cae..44d5d067a93 100644
--- a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_real.h
+++ b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/IA_leda_real.h
@@ -11,7 +11,7 @@
 // release       :
 // release_date  :
 //
-// file          : include/CGAL/IA/IA_leda_real.h
+// file          : include/CGAL/Interval_arithmetic/IA_leda_real.h
 // revision      : 1.7
 // revision_date : 1 July 1998
 // package       : Interval Arithmetic
diff --git a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/_FPU.h b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/_FPU.h
index 0f951ad73f1..ab34f280b5a 100644
--- a/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/_FPU.h
+++ b/Packages/Interval_arithmetic/include/CGAL/Interval_arithmetic/_FPU.h
@@ -11,7 +11,7 @@
 // release       :
 // release_date  :
 //
-// file          : include/CGAL/IA/_FPU.h
+// file          : include/CGAL/Interval_arithmetic/_FPU.h
 // revision      : 1.7
 // revision_date : 1 July 1998
 // package       : Interval Arithmetic