Fixed some things in introduction