Update doc/installation.md with minor changes