Minor changes in Javadoc