minor changes to .bashrc