Minor fix to install doc