Corrections to installing.rst