Fixed a typo in HOL.md