minor addition to .bashrc