fix a typo in intro-4