diff --git a/html/user/include.php b/html/user/include.php
deleted file mode 100644
index f57963ade5..0000000000
--- a/html/user/include.php
+++ /dev/null
@@ -1,20 +0,0 @@
-<?php
-
-require_once('include/config.inc');
-
-require_once('include/error.inc');
-require_once('include/template.inc');
-
-require_once('include/database.inc');
-
-require_once('class/user.inc');
-
-require_once('util.inc');
-
-session_start();
-if (!array_key_exists('lang', $_SESSION)) {
-	$_SESSION['lang']['id'] = 1;
-	$_SESSION['lang']['charset'] = 'ISO-8859-1';
-}
-
-?>
diff --git a/html/user/team.inc b/html/user/team.inc
index 8d440b5bb7..1782efafa0 100644
--- a/html/user/team.inc
+++ b/html/user/team.inc
@@ -53,7 +53,7 @@ function display_team_page($team, $user) {
         $total_credit = $total_credit + $user->total_credit;
     }
 
-    row2("Total credit", credit_format($total_credit));
+    row2("Total credit", format_credit($total_credit));
     $result = mysql_query("select * from user where id=$team->userid");
     $user = mysql_fetch_object($result);
     row2("Founder", "<a href=show_user.php?userid=$user->id>$user->name</a>");
diff --git a/html/user/user.inc b/html/user/user.inc
index 5642c2cfa2..581e2df623 100644
--- a/html/user/user.inc
+++ b/html/user/user.inc
@@ -114,8 +114,8 @@ function show_user_row($user) {
     printf(
       "<tr class=row1>
         <td><a href=show_user.php?userid=%d>%s</a></td>
-        <td>%.4f</td>
-        <td>%.4f</td>
+        <td>%s</td>
+        <td>%s</td>
         <td>%s</td>
         <td>%s</td>
     </tr>\n", $user->id, $user->name, format_credit($user->expavg_credit),
diff --git a/html/user/util.inc b/html/user/util.inc
index 5a1fbc91a4..788a998499 100644
--- a/html/user/util.inc
+++ b/html/user/util.inc
@@ -425,8 +425,8 @@ function doError($msg, $info = '') {
     page_tail();
     exit();
 }
-?>
 
-function credit_format($cobblestones) {
+function format_credit($cobblestones) {
     return sprintf("%.2f", $cobblestones);
 }
+?>