Added nolabel option to verbatim.