No idea where this came from. I think this pre-dates my changes. Oh well, will fix.