Revise some errors of the intro