Minor fix in Javadocs.