Fix a dumb bug in the installer