minor edit

...

 Changes to be committed:
	modified:   bash_profile