fix bug with GetHigh already being defined in module