Tweak the bug fix, adding debug output.