Fix :print-type. Closes PR13503.