On Tue, 16 May 2000, ^chewie wrote: > To fix this, we type: > $ hash -r I've wondered, for years, why things like that happen. Thanks a million for the tip :) -David