A mistake in javadoc is fixed.