Fix printout in #4792

This is #4792 but with an erroneous change to a print out removed.