Fixes a small bug which messes up the result resolution