Minor stuff..
WHC: Assume we want to render body as HTML (hiccup).