Replaced use of '[[' with '[' in .bash_profile