misc javadoc fixes