Fix a PHP warning about "Undefined index"

We must keep track of the nohistory parameter between each call of
display.php.