some minor changes to bashrc