fix bug in get_sliver_id()