Minor fix to installation instructions.