fix some printing issues