Websockets & stats

Hi, I’m having an issue with colibri stats on a new build which has been configured to use websockets. I have other Jitsi instances with webrtc which output stats properly on :8080/colibri/stats but this one won’t do it. To enable websockets we have in jvb.conf…
videobridge {
http-servers {
public {
port = 9090
}
}
websockets {
enabled = true
domain = “THE DOMAIN:443”
tls = true
}
}

… but this seems to disable the colibri stats. If I remove the “http-servers { public { port = 9090 }}” block then the stats on :8080 work normally.

What am I missing? Do I need to specify port 8080 in jvb.conf as well?