Minor changes to Javadocs.