That was already in the last PR :P. I changed it in this way, because the (style-guide-conform) additional spaces made the line too long for the source code box in the generated html page. It would overflow the side of the box. What do you recommend? A line break in there?