Fix page jump buttons on history.php