Some small fixes for the presentation.