extra debug-print