More fixing of .bashrc.