Minor updates to the installation instructions.