Fix introduction with actual name

We may have put `actual, better than `real`. What's your opinion @fabien0102?