Minor change to bashrc