Index: branches/BNC_2.12/src/PPP/pppClient.cpp
===================================================================
--- branches/BNC_2.12/src/PPP/pppClient.cpp	(revision 8452)
+++ branches/BNC_2.12/src/PPP/pppClient.cpp	(revision 8454)
@@ -244,6 +244,8 @@
         ColumnVector rr = satObs->xc().Rows(1,3) - xyzc.Rows(1,3);
         double res = rr.norm_Frobenius() - satObs->obsValue(tLC)
-          - (satObs->xc()[3] - xyzc[3]) * t_CST::c;
-        if (fabs(res) > maxRes || std::isnan(res)) {
+                   - (satObs->xc()[3] - xyzc[3]) * t_CST::c;
+        if (std::isnan(res) || fabs(res) > maxRes) {
+          std::isnan(res) ?
+          maxRes      = res :
           maxRes      = fabs(res);
           maxResIndex = ii;
@@ -251,5 +253,5 @@
       }
     }
-    if (maxRes < BLUNDER) {
+    if (!std::isnan(maxRes) && maxRes < BLUNDER) {
       if (print) {
         LOG.setf(ios::fixed);