Fix verbatim sizes