minor javadoc improvement