Fix the url in the INSTALLATION section