Minor javadoc cleanup.