javadoc tweaks