Some small changes for the presentation.