This is actually a bug and should be fixed separately.