some javadoc fixes