Very minor edits to introduction