diff --git a/html/user/download.inc b/html/user/download.inc
index c7481890b4..1341c8a189 100644
--- a/html/user/download.inc
+++ b/html/user/download.inc
@@ -13,9 +13,7 @@ function platform_downloads($platform, $core_app) {
         if (!$filename) {
             echo "CAN'T FIND FILENAMEn $app_version->xml_doc\n";
         }
-        $version = sprintf(
-            $app_version->version_num/100
-        );
+        $version = sprintf("%.2f", $app_version->version_num/100);
         echo "<tr><td><a href=$download_url/$filename><b>$platform->user_friendly_name $version</b></td></tr>\n";
         //$app_version->md5_cksum";
         $found = true;
diff --git a/html/user/host.inc b/html/user/host.inc
index 82fd807bab..4e127ecea3 100644
--- a/html/user/host.inc
+++ b/html/user/host.inc
@@ -105,8 +105,8 @@ function host_table_start($title, $private) {
         echo "<th>Owner</th>\n";
     }
     echo "
-        <th>Total credit</th>
         <th>Recent average credit</th>
+        <th>Total credit</th>
         <th>CPU type</th>
         <th>Operating system</th>
         </tr>
@@ -128,13 +128,14 @@ function show_host_row($host, $i, $private) {
         echo "<td><a href=show_host_detail.php?hostid=$host->id>$i</a></td>\n";
         echo "<td><a href=show_user.php?userid=$user->id>$user->name</a></td>\n";
     }
-    echo"
-        <td>$host->total_credit</td>
-        <td>$host->expavg_credit</td>
-        <td>$host->p_vendor $host->p_model</td>
-        <td>$host->os_name $host->os_version</td>
-        </tr>
-    ";
+    printf("
+        <td>%.4f</td>
+        <td>%.4f</td>
+        <td>%s %s</td>
+        <td>%s %s</td>
+        </tr>\n",
+        $host->expavg_credit, $host->total_credit, $host->p_vendor, $host->p_model,
+        $host->os_name, $host->os_version );
 }
 
 // return true iff it's possible that the hosts are actually
diff --git a/html/user/user.inc b/html/user/user.inc
index 3f93530195..d5ca0fe5f9 100644
--- a/html/user/user.inc
+++ b/html/user/user.inc
@@ -90,13 +90,15 @@ function user_table_start() {
 }
 
 function show_user_row($user) {
-    echo "<tr>
-        <td><a href=show_user.php?userid=$user->id>$user->name</a></td>
-        <td>$user->expavg_credit</td>
-        <td>$user->total_credit</td>
-        <td>$user->country</td>
-        <td>".time_str($user->create_time)."</td>
-    </tr>\n";
+    printf(
+      "<tr>
+        <td><a href=show_user.php?userid=%d>%s</a></td>
+        <td>%.4f</td>
+        <td>%.4f</td>
+        <td>%s</td>
+        <td>%s</td>
+    </tr>\n", $user->id, $user->name, $user->expavg_credit,
+        $user->total_credit, $user->country, time_str($user->create_time));
 }
 
 ?>