Tomas Frydrych Sat, 13 Oct 2001 08:48:43 -0700
fixes a tab-related bug I introduced during the recent changes.
Tomas
