Ok; looking at #7074 now.