Fix the installation instructions