correcting HAL implementation of collections