Fixed a minor format issue in HOL.md