Oh, indeed. That's a bug, really...