Tweaked bug in debug code