Minor tweaks to mini-installer.