Verbatim & listing tweaks