diff --git a/wally-pipelined/testbench/testbench-busybear.sv b/wally-pipelined/testbench/testbench-busybear.sv
index 28d196290..a3c58de41 100644
--- a/wally-pipelined/testbench/testbench-busybear.sv
+++ b/wally-pipelined/testbench/testbench-busybear.sv
@@ -180,8 +180,10 @@ module testbench_busybear();
         PCtext = {PCtext, " ", PCtext2};
       end
       scan_file_PC = $fscanf(data_file_PC, "%x\n", InstrF);
-      if(InstrF[6:0] == 7'b1010011) // for now, NOP out any float instrs
+      if(InstrF[6:0] == 7'b1010011) begin // for now, NOP out any float instrs
         InstrF = 32'b0010011;
+        $display("warning: NOPing out %s at PC=%0d", PCtext, instrs);
+      end
       // then expected PC value
       scan_file_PC = $fscanf(data_file_PC, "%x\n", pcExpected);
       if (instrs <= 10 || (instrs <= 100 && instrs % 10 == 0) ||