Typeset Ben's stuff.