Minor fixes to installation.rst