Updating HISTORY with missed changes.