Minor update in Javadoc