ok. putting the above in a ticket would be good. yes, things have changed slightly in 1.9, and also in 1.10, but not clear to me yet what should happen there