Bugfix in CollaborativeString when deleting text