Fix: A few <p> tags were removed in the Javadoc comments.