small Javadoc fix