minor javadoc added