that would be helpful, though in any case this looks like a bug.