small fix to installation instructions