Fixed a little JavaDoc with <p> tags