fix bug in remove_slivers()