Some minor tweaks to make reveal.js generation work better