make minor changes in introduction.html
Merge branch 'documentation-changes'