changed to \verb+ and retypeset everything