Minor Javadoc edit.