No, I realized that this was a bug although it is not easily exposed.