fix bad notation
Change intro.