Add the verbatim element, among other things