Hey Jiri Bilek, agreed, the hash code should be the same as the one of the copied node. Out of interest, is this a theoretical issue for you, or did you run into any problems in practice caused by that? Also, would you be interested in preparing a fix for this and sending a pull request for it?