Tiny formatting tweaks.
We can remove the demo thingy, since it's actually used live, now.