Minor tweaks to the presentation

r?