two small, yet important bugfixes in the installer