Correct mistaken extra \verb command