Fix bug in install"