minor improvements in printouts