Fix introduction with actual name

Why not!