Minor javadoc tweak.