update of verbatim extensions  fixed