removed some whitespace around verbatims