Fixed double session bug in history.php.