Small fixes to the installation file.