Doh: we need to update this in real time. So we have to do it in JS after all.