Minor Javadoc changes to improve the output.