Add missing closure of verbatim environment.