Improve formatting of Javadoc