fix a warning in ExtraBul.gf