Show a nice welcome message.
Add missing ; in EBNF.