Small Javadoc fix