Nasty bug corrected.

The multiple-dereference code was broken, was stopping resolving too
quickly and giving inappropiate dumps.