Doc tweak and History.md.