Can it be considered a bug that when you add a duplicate key to an ADT.OrderedMapping() that it does add the key/value at the end, but fails to delete the already present same old key (value)?

Shall I fix it?