HI: fix case-sensitivity