Index: page_header.php
===================================================================
— page_header.php (revision 8467)
+++ page_header.php (working copy)
@@ -419,7 +419,7 @@
$table->setCellPadding(0);

$history = get_user_history();

• $tr = new CRow(new CCol('History:','caption'));
  + $tr = new CRow(new CCol(S_HISTORY.':','caption'));
  $tr->addItem($history);

$table->addRow($tr);