fix bug in deleteMinRB()