minor fixes in bashrc