Modified formatting of VERBATIM and BULLETLIST.