fix link to HAL