Fixed reported bugs in HOL.md.