Argh. I thought about that and then got distracted. Fix is on the way.