Minor javadoc improvement