fix minor bugs
change to append to .bash_profile instead of .bashrc