intro: fix the title

XMILE, not SMILE.  Pretty trivial, for larger changes a short explanation would continue here.