Minor tweaks to the presentation