Small fixes in the introduction