Another Javadoc edit