Fix a bug in install