fix verbatim positions