Updated HISTORY.md to document pull request #133