fix related to bencomp's merge request