bashrc: minor change