minor updates in the introduction