fix verbatim code