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 f5c452e20b3..1eec591d4c1 100644
--- a/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
+++ b/Stream_support/include/CGAL/IO/OFF/File_scanner_OFF.h
@@ -966,8 +966,8 @@ public:
     else{
       color = CGAL::Color(rgb[0], rgb[1], rgb[2]);
     }
-    std::streampos ss_pos = iss.tellg();
-    if(ss_pos != -1)
+    std::iostream::pos_type ss_pos = iss.tellg();
+    if(ss_pos != std::iostream::pos_type(-1))
     {
       position +=ss_pos;
       is.seekg(position);