diff --git a/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h b/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
index 715d999d8e6..dd3d704b950 100644
--- a/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
+++ b/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
@@ -710,7 +710,7 @@ public:
       if(entries.empty())
       {
         m_in.clear(std::ios::badbit);
-	size = 0;
+        size = 0;
         return;
       }
       size = static_cast<std::size_t>(entries[0]);