Minor updates to Javadocs.