Another small change to introduction.md