fix HAL