Fix installation doc bug