Hi, Turns out I was too hasty. I just had to quit System Preferences and open it again. Now TeXLive 2007 doesn't show up in the TeXDist Preference Pane. So it's all fine! Sorry for wasting your time with a useless question. Cheers, Suresh