Improving HAL documentation