removed unnecessary verbatim tag