minor fixes to bashrc