refined widening. this kind-of resolves #16