minor change to bashrc