correct formatting of verbatim elements

https://bugs.eclipse.org/bugs/show_bug.cgi?id=407828
1 file changed