More javadoc tweaks.