Minor changes to javadoc.