HAL-64: Bugfix in function callback