Update History.md for fixing #722