Minor fix in installation section of documentation.