Re #10133. Removing debug print.