Minor wording fixes applied to HOL.md document