The current implementation of addEnd returns an incorrect end_col. It is based on the first_non_child of the node. I can't say I understand what is going on but the result is incorrect. For instance, using webdiff: