Minor javadoc update