Correct typo in Hy