miscellaneous tweaks and hacks for the presentation