Trivial javadoc update