Some minor adjustment to .bashrc.