That was my thought, too. It's been well documented over the years that any plan to make the Terminal a public market was a nonstarter and the Penn Avenue merchants would have fought it. So the developer looked for other businesses that would add to the variety without taking business away from Penn Avenue.