Minor changes to bashrc.