minor change to installation doc