Small change in bashrc