minor introduction text edits