Fix doc comment so the text gets included in the HTML