HIVE-8542: minor fix