Minor javadoc edit