Better formatting of getter comment using <p> tag