Trivial Javadoc fix.