Fix two misc javadoc problems