--- a/src/core/model/int64x64.cc	Sun May 22 23:17:41 2011 -0700
+++ b/src/core/model/int64x64.cc	Sun May 22 23:18:47 2011 -0700
@@ -92,11 +92,11 @@
   cur = next;
   int64_t hi;
   uint64_t lo;
-  next = str.find(".", cur);
+  next = str.find (".", cur);
   if (next != std::string::npos)
     {
       hi = ReadDigits (str.substr (cur, next-cur));
-      lo = ReadDigits (str.substr (next+1, str.size()-(next+1)));
+      lo = ReadDigits (str.substr (next+1, str.size ()-(next+1)));
     }
   else
     {