bug fix in widening operation