Minor fixes in javadoc.