Another minor javadoc addition.