minor fixes to installation.md