Small changes in the .bashrc entries