Minor change in printout.