Minor javadoc tweaks