more javadoc fixes