Minor fix to installation instructions