Minor tweaks, just before the presentation