diff --git a/libraries/Font.class.php b/libraries/Font.class.php
index b4c2024e09..3fdfda67cb 100644
--- a/libraries/Font.class.php
+++ b/libraries/Font.class.php
@@ -139,8 +139,8 @@ class PMA_Font
             $modifier = 1.23;
             break;
         }
-        $textWidth = $count*$fontSize;
-        return ceil($textWidth*$modifier);
+        $textWidth = $count * $fontSize;
+        return (int)ceil($textWidth * $modifier);
     }
 }
 ?>