Change the introduction a bit

We discussed this in the IRC channel.