Clarified reason for all that debug output that never happens