Corrects verbatim to be alltt in one crucial spot