One last refinement of the javadoc.