Minor updates to bashrc