bugfix for HeftHelper.py