Edited HAL paragraph