Adjusts HISTORY for 7.1.
Some minor comment changes.