Minor fix in bashrc