@ .bashrc: a fix