Made mini-installer more robust and user-friendly.