Bugfix van Emde Boas: range should update properly upon deletion