Index: /trunk/BNC/src/bncsp3.cpp
===================================================================
--- /trunk/BNC/src/bncsp3.cpp	(revision 10577)
+++ /trunk/BNC/src/bncsp3.cpp	(revision 10578)
@@ -112,5 +112,5 @@
 ////////////////////////////////////////////////////////////////////////////
 void bncSP3::closeFile() {
-  _out << "EOF" << endl;
+  _out << "\nEOF" << endl;
   bncoutf::closeFile();
 }
Index: /trunk/BNC/src/ephemeris.cpp
===================================================================
--- /trunk/BNC/src/ephemeris.cpp	(revision 10577)
+++ /trunk/BNC/src/ephemeris.cpp	(revision 10578)
@@ -953,5 +953,5 @@
   // =====================
   if (ephType() == t_eph::CNAV) {
-    double intFlags;
+    int intFlags;
     if (_intSF !=-1 ) {
       intFlags |= (1 << 0);
@@ -994,5 +994,5 @@
   // =====================
   if (ephType() == t_eph::CNV2) {
-    double intFlags;
+    int intFlags;
     if (_intSF !=-1 ) {
       intFlags |= (1 << 0);
Index: /trunk/BNC/src/ephemeris.h
===================================================================
--- /trunk/BNC/src/ephemeris.h	(revision 10577)
+++ /trunk/BNC/src/ephemeris.h	(revision 10578)
@@ -351,10 +351,10 @@
     _BGD_1_5B        = 0.0;
     _TOT             = 0.0;
-    bool    _inav;
+    _inav            = 0;
     /** Data comes from F/NAV when <code>true</code> */
-    bool    _fnav;
-    bool    _e1DataInValid;
-    bool    _e5aDataInValid;
-    bool    _e5bDataInValid;
+    _fnav            = 0;
+    _e1DataInValid   = 0;
+    _e5aDataInValid  = 0;
+    _e5bDataInValid  = 0;
     _receptStaID     = "";
   };
@@ -407,13 +407,13 @@
   double  _TOT;              // [s]
   /** Data comes from I/NAV when <code>true</code> */
-  bool    _inav;
+  int    _inav;
   /** Data comes from F/NAV when <code>true</code> */
-  bool    _fnav;
+  int    _fnav;
   /** E1 Data is not valid */
-  bool    _e1DataInValid;
+  int    _e1DataInValid;
   /** E5A Data is not valid */
-  bool    _e5aDataInValid;
+  int    _e5aDataInValid;
   /** E5B Data is not valid */
-  bool    _e5bDataInValid;
+  int    _e5bDataInValid;
 };