diff -r 7e8fd44b36b0 -r dc8741857bde includes/pageprocess.php
--- a/includes/pageprocess.php	Thu Jun 28 13:49:40 2007 -0400
+++ b/includes/pageprocess.php	Thu Jun 28 15:26:40 2007 -0400
@@ -560,7 +560,7 @@
     
     if ( !empty($userdata['real_name']) )
     {
-      echo '<tr><td class="row3">Real name: ' . htmlspecialchars($userdata['real_name']) . '</td></tr>';
+      echo '<tr><td class="row3">Real name: ' . $userdata['real_name'] . '</td></tr>';
     }
     
     // Comments