minor changes to bashrc