fixing bug580 caused by bad bv inequality explanation