This comment will lead to an initial empty line in the generated HTML. Is that intended?