bug fix in _discrete_peel