fix a typo in 01-introduction.txt