Minor fix in .bashrc