little changes in Javadoc