bug fix for HeftHelper