Remove <verbatim> class. This should be implemented by the input format