output header line relegated to DEBUG version