Minor correction in Javadocs.