I think that this print is spurious. It should be removed.

If the information printed is of general interest, that information should be added to the warning below.