Trivial change to javadoc.