diff --git a/Stream_support/include/CGAL/IO/File_scanner_OFF.h b/Stream_support/include/CGAL/IO/File_scanner_OFF.h
index fddfb8ab3f2..ae587826cf5 100644
--- a/Stream_support/include/CGAL/IO/File_scanner_OFF.h
+++ b/Stream_support/include/CGAL/IO/File_scanner_OFF.h
@@ -397,7 +397,7 @@ public:
     } else
       m_in >> index;
 
-    if( m_in.bad()) {
+    if( m_in.fail()) {
       if ( verbose()) {
         std::cerr << " " << std::endl;
         std::cerr << "File_scanner_OFF::" << std::endl;