fix of ')' in GaHeftvsHeft