minor modifications to installation.rst