fix goal aliasing corner case