Small updates to the miniconda page