Fixed verbatim
Added to verbatim.tex.