Minor corrections in HAL and Practica_2.