bashrc: fix bug