Small fixes to the javadoc.