Woops broke hal.yaml