Small fix in install script