This sounds indeed like a bug. We'll check.