HIVE-8542: code style