fix bug in add_slivers()