diff --git a/html/inc/util.inc b/html/inc/util.inc
index 6dadb75f1d..081e96ffd7 100644
--- a/html/inc/util.inc
+++ b/html/inc/util.inc
@@ -113,7 +113,7 @@ function page_head($title, $java_onload=null, $title_plain=null, $prefix="") {
$rsslink = URL_BASE . "/rss_main.php";
if (defined("CHARSET")) {
- header("Content-type: text/html; charset=".tra(CHARSET));
+ header("Content-type: text/html; charset=".tra("CHARSET"));
}
echo "\n";