Fix minor typo in ha.txt