redo verbatim attribute formatting again