small changes to javadoc