More small tweaks to the presentation