add comments for widening. this resolves #8