fix some printing