.bashrc: minor update following previous rename