Fixes '???' Board Title in History.php