Fix a couple of printouts