Minor modification of the presentation.