Correct some instructions in installation.