Minor Javadoc edit