Fix bug in .bashrc.