Fixed a small issue in the history.