Audio over HDMI not working on Raspberry Pi 4B

I’m trying to play music from Volumio on a soundbar with HDMI ARC Input. When I set the output from Audio Jack to HDMI on the GUI, nothing seems to change. Volumio is still playing over the Audio Jack while HDMI is silent. Updating to the latest version didn’t help. Would be grateful for any clues.