As pointed out on the 9front list: this is as it should be.

Sorry for the noise.