Fix JSON+HAL output