Minor tuning and updating of .bashrc.