Minor fix in documentation/installation.