Modify Javadoc a bit