Fix typo in HAL doc