fixed minor javadoc imprecision