Ah - I see. Thanks for the explanation. This is very tricky indeed and might be good to have a doc here.