javadoc style tweaks.