More minor fixes to javadoc