Fixed a minor style issue in bashrc