minor corrections to javadoc