bashrc: fix