fixed another bug with shadowed names and extended real.sl