Small fix in the installer