minor correction to history.html