`updateExtremity` fixed

`updateExtremity` replaced the extremal node by `Empty` producing `Empty` child
of `Internal` node.

Unfortunately, no test handle this.