Minor fixes for the installation instructions.