A few fixes to the installation instructions.