Small improvements to the installation instructions