HIVE-8834: better printing