small fix in install procedure