some debug print tweaks for IR testing