More javadoc tweaks