Yes, this is correct. I think this follows from the design of the data structure classes, but if you want I can add a comment here.