Fixes to the installation instructions