fix a small bug in bashrc