fix a few typos with PATH after miniconda install