Javadoc tweaks.