With the verbatim package we currently use, the verbatim is with a  lower-case 'v'.
Jeremy used a different verbatim package (thus the upper-case 'V')