should fix problems with tcsh. seems to work OK with bash

This is a small change that should smooth things out under tcsh. As far as I could tell it works under bash as well.