A few formatting changes for rocco

I'm not too happy about manually inserting &lt; and &gt; but those get
output as html tags otherwise.