Fix error in setting bashrc options