Minor javadoc fix.