bashrc: minor update