EntryHashSet: fixed updating the size upon deletion