Bugs fixed in the resolution code.