Fix typos in HAL example