urgent bugfix to correctly run GaHeftvsHeft