Minor javadoc fix