Minor changes on installation doc