fix a bit of the introduction