Minor improvements to the installation instructions.