Fixes bug #10728 (Auto-Fix regarding control flow: "Convert to correct type")