Fix typo in hol-unicode.el