Minor changes to bashrc